Galileo Safety-of-Life Service Utilization for Railway Non-Safety and Safety Critical Applications
نویسندگان
چکیده
منابع مشابه
TAS Control Platform: A Platform for Safety-Critical Railway Applications
49 All these systems have an important common feature: they are safety-critical and must therefore be developed according to the highest safety integrity level (SIL4), as defined in the standards applicable to the railway industry (CENELEC 50126, 50128, 50129, Railway Applications Standards [RAMS, software and electronics]). Apart from being suitable for safety-critical operation, railway syste...
متن کاملLoops for Safety Critical Applications
In this paper so-called discrete loops are described which narrow the gap between general loops (e.g. while-or repeat-loops) and for-loops. Although discrete loops can be used for applications that would otherwise require general loops, discrete loops are known to complete in any case. Furthermore it is possible to determine the number of iterations of a discrete loop, while this is trivial to ...
متن کاملFormal Methods in Safety-Critical Railway Systems
In this article we would like to present some recent applications of the B formal method to the development of safety critical systems, namely platform screen door controllers. These SIL3/SIL4 compliant systems have their functional specification based on a formal model. This model has been proved, guaranteeing a correct by construction behaviour of the system in absence of failure of its compo...
متن کاملLinux in Safety-Critical Applications
Modern society depends on a range of systems that need to guarantee the safety of their users and the environment. Therefore it is crucial which operating system is used for such safety-critical systems. This thesis examines the potential use of the operating system kernel Linux, and the GNU/Linux operating system for safety-critical systems. To gain confidence that GNU/Linux can be used as a p...
متن کاملKnowledge Based System for the Evaluation of Safety and the Prevention of Railway Accidents
This paper describes a contribution to improving the usual safety analysis methods used in the certification of railway transport systems. The methodology is based on the complementary and simultaneous use of knowledge acquisition and machine learning. The purpose is contributed to the generation of new accident scenarios that could help experts to conclude on the safe character of a new rail t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Mechanical Systems for Transportation and Logistics
سال: 2010
ISSN: 1882-1782
DOI: 10.1299/jmtl.3.119